Generating complete set of implications for formal contexts
نویسندگان
چکیده
In this paper, a necessary and sufficient condition on which a set of implications is complete is proposed with the help of the notion of model from logic. Besides, using the closure of an attribute subset to a set of implications, we present a formal method to remove the redundant implications from a complete set. Subsequently, we provide an algorithm to generate a complete set of implications and an illustrative example guarantees the availability of the algorithm. Crown Copyright 2008 Published by Elsevier B.V. All rights reserved.
منابع مشابه
Gendered Language: Men’s vs Women’s Uses of Address Terms within New Interchange Series
This study set out to check the addressing behavior within men’s and women’s talk in the written conversations in English language textbook series titled ‘New Interchange book’ by Richards, Hull and Proctor, (1998) from Cambridge University Press. In line with this aim, the present researchers initially prepared descriptive tables for both formal and informal contexts in three theme categories ...
متن کاملParallel Attribute Exploration
The canonical base of a formal context is a minimal set of implications that is sound and complete. A recent paper has provided a new algorithm for the parallel computation of canonical bases. An important extension is the integration of expert interaction for Attribute Exploration in order to explore implicational bases of inaccessible formal contexts. This paper presents and analyzes an algor...
متن کاملAn Inference System for Exhaustive Generation of Mixed and Purely Negative Implications from Purely Positive Ones
The objective of this article is to study the problem of generating implications with negation when only a set of purely positive implications related to a formal context K = (G,M, I) is provided. To that end, we define a sound and complete inference system which includes a characterization of implications whose left-hand side is a key in the context K|K̃ representing the apposition of the conte...
متن کاملImplications over Probabilistic Attributes
We consider the task of acquisition of terminological knowledge from given assertional data. However, when evaluating data of realworld applications we often encounter situations where it is impractical to deduce only crisp knowledge, due to the presence of exceptions or errors. It is rather appropriate to allow for degrees of uncertainty within the derived knowledge. Consequently, suitable met...
متن کاملSubstitution as a Device of Grammatical Cohesion in English Contexts
The present study set out to investigate the effect of teaching substitution as a kind of grammatical cohesion on the true identification of confusing substitution elements with cohesive or non-cohesive roles in different contexts and also the production of modal, reporting and conditional contexts through clausal substitution acquaintance. To this end, the following procedures were taken. Firs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Knowl.-Based Syst.
دوره 21 شماره
صفحات -
تاریخ انتشار 2008